Перевод: с русского на английский

с английского на русский

formal aspects

См. также в других словарях:

  • Formal Aspects of Computing — Infobox Magazine title = Formal Aspects of Computing | image size = 200px | image caption = editor = Jim Woodcock Cliff Jones frequency = Quarterly circulation = category = Formal methods company = Springer firstdate = 1989 country = Germany… …   Wikipedia

  • Formal Methods Europe — (FME) is an organization whose aim is to encourage the research and application of formal methods for the improvement of software and hardware in computer based systems. The association s members are drawn from academia and industry. It is based… …   Wikipedia

  • Formal methods — In computer science and software engineering, formal methods are particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.cite web|author=R. W. Butler|title=What is… …   Wikipedia

  • Formal language — A formal language is a set of words , i.e. finite strings of letters , or symbols . The inventory from which these letters are taken is called the alphabet over which the language is defined. A formal language is often defined by means of a… …   Wikipedia

  • formal semantics — noun the branch of semantics that studies the logical aspects of meaning • Hypernyms: ↑semantics …   Useful english dictionary

  • Sociological and cultural aspects of autism — Autism cure movement Issues Autism therapies Causes of autism Sociological and cultural aspects …   Wikipedia

  • Continuous and progressive aspects — The continuous and progressive aspects (abbreviated cont and prog) are grammatical aspects that express incomplete action in progress at a specific time: they are non habitual, imperfective aspects. It is a verb category with two principal… …   Wikipedia

  • Descriptional Complexity of Formal Systems — Abbreviation DCFS Discipline Automata theory and formal languages Publication details Publisher Electronic Proceedings in Theoretical Computer Science (International) History 1999– …   Wikipedia

  • Cone (formal languages) — In formal language theory, a cone is a set of formal languages that has some desirable closure properties enjoyed by some well known sets of languages, in particular by the families of regular languages, context free languages and the recursive… …   Wikipedia

  • Legal aspects of transsexualism — Transsexual people are those who establish a permanent identity with the gender opposite to that which they were assigned at birth. As most legal jurisdictions have at least some recognition of the two traditional genders at the exclusion of… …   Wikipedia

  • Sociological and cultural aspects of Tourette syndrome — There are sociological and cultural aspects of living with Tourette syndrome (also Tourette s syndrome, Tourette s or TS), including legal, advocacy and health insurance issues, awareness of notable individuals with Tourette syndrome, and… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»